Introduction to reliable and secure distributed programming

finder内にもある